Metamodel-based model conformance and multiview consistency checking
نویسندگان
چکیده
منابع مشابه
Model Checking Conformance with Scenario-Based Specifications
Specifications that describe typical scenarios of operations have become common for software applications, using, for example, use-cases of UML. For a system to conform with such a specification, every execution sequence must be equivalent to one in which the specified scenarios occur sequentially, where we consider computations to be equivalent if they only differ in that independent operation...
متن کاملIntra- and interdiagram consistency checking of behavioral multiview models
Multiview modeling languages like UML are a very powerful tool to deal with the ever increasing complexity of modern software systems. By splitting the description of a system into different views—the diagrams in the case of UML—system properties relevant for a certain development activity are highlighted while other properties are hidden. This multiview approach has many advantages for the hum...
متن کاملLogic-Based Regulatory Conformance Checking
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regulation is represented in a logic that is evaluated against an abstract model representing the operations of an organization. Regulatory bases are large and complex, and the long term goal of our work is to be able to u...
متن کاملBenchmarks for Model Transformations and Conformance Checking
Suitable open benchmark models help to assess, evaluate, and compare tools and techniques, help the research community understand the nature and complexity of the problems facing industrial practitioners, and also help industry to embrace new techniques. We present two benchmark models from the automotive powertrain control domain. Each model has a unique level of complexity. The models are int...
متن کاملSymbolic Input-Output Conformance Checking for Model-Based Mutation Testing
This paper presents an approach to use symbolic input output conformance checking for mutation-based test case generation. In this approach, a possibly non-deterministic action system model is used as basis for generating a number of mutants. Subsequently after the generation of mutants, the original model and the mutants are simultaneously symbolically executed and tested for conformance. Dist...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Software Engineering and Methodology
سال: 2007
ISSN: 1049-331X,1557-7392
DOI: 10.1145/1243987.1243989